翻訳と辞書 Words near each other ・ Cutcombe ・ Cut Nyak Meutia ・ Cut of beef ・ Cut of Ice ・ Cut off period ・ Cut off saw ・ Cut Off Time ・ Cut Off Your Hands ・ Cut Off, Louisiana ・ Cut Out + Keep ・ Cut Out and Keep (album) ・ Cut Out Shapes ・ Cut Out Shapes (band) ・ Cut River ・ Cut River Bridge ・ Cut rule ・ Cut shot ・ Cut Snake ・ Cut Some Rug/Castle Rock ・ Cut Spelling ・ Cut square (philately) ・ Cut steel jewellery ・ Cut Tari ・ Cut the Cake ・ Cut the Cake (album) ・ Cut the Cake (horse) ・ Cut the Cord ・ Cut the Crap ・ Cut the Crap (Jackyl album) ・ Cut the Kid Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Cut rule ： ウィキペディア英語版 Cut rule In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula ''A'' appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula ''A'' does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of ''man'' are eliminated of ''Every man is mortal, Socrates is a man'' to deduce ''Socrates is mortal''. == Formal notation == Formal notation in sequent calculus notation : ;cut: : $$ \cfrac 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cut rule」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.